recent posts

typetitleauthorlast post sort icon
Forum topicWas there a language with an explicit call stack? Alex Shpilkin2016-05-13 11:57
Forum topicFor the record... Ehud Lamm2016-05-24 10:28
Forum topicSTEPS Toward the Reinvention of Programming, 2012 Final Report Greg Buchholz2016-05-26 05:14
Forum topicA2: Analog Malicious Hardware marco2016-05-28 09:36
Forum topicTheory of syntax extensions: does it exist? johnwcowan2016-05-30 10:47
Forum topicLearning to Execute and Neural Turing Machines Sean McDirmid2016-05-30 14:37
Forum topicMetaprogramming and Free Availability of Sources oldaccount2016-06-01 20:52
Forum topicPLDI 2016 Proceedings now available on-line, free for 3 weeks emery2016-06-04 17:30
Forum topicProgramming with a Differentiable Forth Interpreter Sean McDirmid2016-06-06 19:46
StorySet-Theoretic Types for Polymorphic Variants naasking2016-06-09 18:41